package pl.edu.mimuw.irs.core.model.analysis.dd;

/* Markable objects are used for cycles detection */
public interface IMarkable {
	public boolean isMarked();
	public void setMarked(boolean marked);
}
